TSTP Solution File: DAT250^1 by Nitpick---2016